翻訳と辞書 Words near each other ・ Algebraic manifold ・ Algebraic matroid ・ Algebraic modeling language ・ Algebraic normal form ・ Algebraic notation ・ Algebraic notation (chess) ・ Algebraic number ・ Algebraic number field ・ Algebraic number theory ・ Algebraic operation ・ Algebraic Petri net ・ Algebraic Reconstruction Technique ・ Algebraic Riccati equation ・ Algebraic semantics ・ Algebraic semantics (computer science) ・ Algebraic semantics (mathematical logic) ・ Algebraic sentence ・ Algebraic signal processing ・ Algebraic solution ・ Algebraic space ・ Algebraic specification ・ Algebraic statistics ・ Algebraic structure ・ Algebraic surface ・ Algebraic theory ・ Algebraic topology ・ Algebraic topology (object) ・ Algebraic torus ・ Algebraic variety ・ Algebraic vector bundle Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Algebraic semantics (mathematical logic) ： ウィキペディア英語版 Algebraic semantics (mathematical logic) In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic. For example, the modal logic S4 is characterized by the class of topological boolean algebras—that is, boolean algebras with an interior operator. Other modal logics are characterized by various other algebras with operators. The class of boolean algebras characterizes classical propositional logic, and the class of Heyting algebras propositional intuitionistic logic. ==Further reading== * (2nd published by ASL in 2009) (open access ) at Project Euclid * * * Good introduction for readers with prior exposure to non-classical logics but without much background in order theory and/or universal algebra; the book covers these prerequisites at length. The book however has been criticized for poor and sometimes incorrect presentation of AAL results. () 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Algebraic semantics (mathematical logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.